HATS Abstract Behavioral Specification: The Architectural View
نویسندگان
چکیده
The Abstract Behavioral Specification (ABS) language is a formal, executable, object-oriented, concurrent modeling language intended for behavioral modeling of complex software systems that exhibit a high degree of variation, such as software product lines. We give an overview of the architectural aspects of ABS: a feature-driven development workflow, a formal notion of deployment components for specifying environmental constraints, and a dynamic component model that is integrated into the language. We employ an industrial case study to demonstrate how the various aspects work together in practice.
منابع مشابه
Abstract Specification Theory: An Overview
Specification Theory: An Overview Andrzej TARLECKI∗ Institute of Informatics, Warsaw University and Institute of Computer Science, Polish Academy of Sciences Warsaw, Poland Abstract. This paper presents an overview of abstract specification theory, as understood and viewed by the author. We start with a brief outline of the basic assumptions underlying work in this area in the tradition of alge...
متن کاملModeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
The Abstract Behavioral Specification (ABS) language facilitates to precisely model the behavior of highly configurable, distributed systems. Its basis is Core ABS which is a strongly typed, abstract, objectbased, concurrent, fully executable modeling language. Spatial variability of ABS models is represented by feature models, delta modules containing modifications of ABS models, product line ...
متن کاملHATS: Highly Adaptable and Trustworthy Software using Formal Models
behavioral HATS ABS language Specification level Languages Figure 1: Positioning of the HATS ABS language.
متن کاملMulti-view Metamodeling of Software Architecture Behavior
Component based development is recognized now as a powerful tool to manage actual systems’ technological complexity. The success key factor of this discipline is the high level abstracting of systems’ structural and behavioral constituents. On the other hand, enhancing software architectures simplicity and clarity by separating several concerns is a useful technique to manage complexity. In ord...
متن کاملModelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study
The HATS project aims at developing a model-centric engineering methodology for the design, implementation and verification of distributed, concurrent and highly configurable systems. Such systems also have high demands on their dependability and trustworthiness. The HATS approach is centered around the Abstract Behavioural Specification modelling language (ABS) and its accompanying tools suite...
متن کامل